xen: arm: implement arch_vcpu_reset.
authorIan Campbell <ian.campbell@citrix.com>
Wed, 19 Dec 2012 14:16:21 +0000 (14:16 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 19 Dec 2012 14:16:21 +0000 (14:16 +0000)
commita7588b540ec685ecd32f7acef2e404f23a4c263b
tree35a40166be24d31df81a688a2bcbd27e6f8fef67
parent5f430567eb0b98493e48ea13b2e503fe5ad7d3ae
xen: arm: implement arch_vcpu_reset.

Untested.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain.c
xen/arch/arm/dummy.S